思维导图在《微机原理及接口技术》教学中的应用

思维导图作为一种可视化图形思维工具，可以有效表征知识体系、层次关系。本文针对《微机原理及接口技术》课程教学现状，介绍了思维导图的特点，分析了思维导图应用于该课程教学中的作用和意义，给出了用 MindManager软件绘制的8086CPU内部结构和输入输出接口的思维导图案例。教学实践证明，思维导图在《微机原理及接口技术》课程教学中可以激发学生学习兴趣，帮助学生建立“整体-局部”思想，促进学生对知识的理解和记忆，提升教学效果。     

A practical data-flow verification scheme for business processes

Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models.     

植物蛋白素肉原料与工艺的研究进展

为缓解肉类供给不足的压力,以营养价值较高的植物蛋白素肉产品替代传统肉类成为食品研究发展的新方向。然而,目前缺少对植物蛋白素肉的产品配方、加工技术、产品品质、消费者态度等的系统综述。因此,该文总结了植物蛋白素肉的组成成分及其对产品品质的影响,分析了植物蛋白素肉在加工过程中所应用的加工技术及在质构、颜色、风味、营养方面的品质现状,进而阐述了植物蛋白素肉的市场接受程度,以期促进植物蛋白素肉科学研究的进一步发展,并促进其产品市场的扩大化。     

Moving beyond ‘more crop per drop’: insights from two decades of research on agricultural water productivity

ABSTRACT

Concern over increasing water scarcity has led to the introduction of the concept of agricultural water productivity and an emphasis on interventions to achieve ‘more crop per drop’. Yet, a strong debate continues on how the concept is to be defined and used. Drawing largely from the irrigation literature, the origins of the concept and its methodological developments are reviewed, and its use in applied work over two decades is discussed. Based on this analysis of conceptual and applied research, key insights into the concept’s contributions and limitations are presented, as well as opportunities for further refinements.     

深圳抽水蓄能电站监控新技术应用研究与实践

通过对安防、工业电视和门禁等新技术的研究,设计了一套先进的监控系统,包括硬件平台、系统管理、应用软件,利用深圳抽水蓄能电站已形成的光纤网络通道把分布在方圆10 km范围内多个站端设备以环路的方式连接起来,把可靠成熟的新技术融合到整个平台。自首台机组成功投运,监控系统为电站正常运行保驾护航,高清摄像机、视觉识别、行为分析、边界防护等新技术的应用为工程项目增添了亮点,使电站现场管理更加智能化、规范化。     

基于BS值的钢中多相组织分相技术

为了对钢中双相或多相组织进行分相定量表征，利用场发射扫描电镜(FE SEM)与电子背散射衍射技术(EBSD)中的BS值对其进行了详细的研究与讨论。结果表明，对于单相的铁素体、贝氏体或马氏体，其BS灰度分布图呈近似的正态分布，BS图可以呈现出类似于组织的图像。利用BS值可以很好地对结构相近的双相或多相组织进行分相定量。在分相定量时，需选择适合的拟合函数，定量结果才更为准确。     

移动边缘计算环境下的动态资源分配策略

在通讯设备爆炸式增长的时代,移动边缘计算作为5G通讯技术的核心技术之一,对其进行合理的资源分配显得尤为重要。移动边缘计算的思想是把云计算中心下沉到基站部署(边缘云),使云计算中心更加靠近用户,以快速解决计算资源分配问题。但是,相对于大型的云计算中心,边缘云的计算资源有限,传统的虚拟机分配方式不足以灵活应对边缘云的计算资源分配问题。为解决此问题,提出一种根据用户综合需求变化的动态计算资源和频谱分配算法(DRFAA),采用"分治"策略,并将资源模拟成"流体"资源进行分配,以寻求较大的吞吐量和较低的传输时延。实验仿真结果显示,动态计算资源和频谱分配算法可以有效地降低用户与边缘云之间的传输时延,也可以提高边缘云的吞吐量。     

非全日制研究生线上线下混合式教学模式研究 ——以《现代电气控制技术》为例

随着教育信息化技术的发展，线上线下混合式教学模式已成为一种趋势。为了解决非全日制研究生课堂教学召集困难、效果不佳等问题，提出了基于“互联网＋虚拟仿真技术”的线上线下混合式教学模式。本文以控制工程专业学位研究生为例，结合《现代电气控制技术》课程，探讨了线上线下混合式教学实现途径、师生互动方法、项目驱动案例教学法以及电气控制系统虚拟仿真实验平台的构建方法，切实提升非全日制研究生的培养质量。     

新工科背景下电子通信专业“人工智能技术基础”课程改革实践

人工智能技术已经成为新一轮科技革命的重要驱动力量，这要求电子、通信等非计算机专业的人才培养引入针对性强的人工智能课程教学。本文针对新工科背景下电子、通信专业“人工智能技术基础”课程存在的问题进行课程改革，从授课和实验两个环节入手，分别从教学内容、教学方法和考核办法三个方面提出了具体的改革举措，并在“人工智能技术基础”课程中进行了实践，激发了学生的学习热情，拓展了学生的专业视野，提高了学生的实践创新能力，取得了良好的教学效果。为了进一步培养电子、通信学科交叉型AI人才，该课程选拔优秀学生开展丰富的人工智能课外实践活动，进一步提升学生的实践创新能力。     

加强自然资源领域安全生产管理措施建议研究

当前，安全生产事故频发，造成重大人员伤亡和财产损失，成为国家安全生产亟需解决的问题，按照新时期新要求，加强自然资源领域安全生产管理尤为重要。本文重点围绕自然资源领域涉及的土地资源、矿产资源、海洋资源以及测绘行业和地勘行业，通过调研及专家座谈，分析了我国自然资源领域安全生产管理的现状，存在的问题和产生的原因；结合新时期自然资源管理实际，以及地方和其他部门典型经验，从制度机制、标准化、信息化、人才培养等角度提出了加强我国自然资源领域安全生产管理的措施和建议，以供参考。